This volume contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Lire la suiteThis volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Lire la suiteThis volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
Lire la suiteA leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Lire la suiteA leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Lire la suiteDiscrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software ...
Lire la suiteExpert F# is about practical programming in a beautiful language that puts the power and elegance of functional programming ...
Lire la suiteF# is much more than just an FP language. Every professional .NET programmer needs to learn about FP, and there's no better ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Lire la suiteThis volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Lire la suiteThis volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Lire la suiteThe 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...
Lire la suiteThe 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...
Lire la suiteThis book presents 29 revised invited and selected lectures given by top-researchers at the First International Workshop ...
Lire la suiteIn this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Lire la suiteThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suite